\documentclass{beamer}

\def\hnum#1{\hbox{$#1$\/}}
\def\lar{\leftarrow}
\def\no{\ii{not}}
\def\ii#1{\hbox{\sl #1\/}}
\def\bb#1{\hbox{\bf #1\/}}
\def\ba{\begin{array}}
\def\ea{\end{array}}
\def\be{\begin{enumerate}}
\def\ee{\end{enumerate}}
\def\bi{\begin{itemize}}
\def\ei{\end{itemize}}
\def\beq{\begin{equation}}
\def\eeq#1{\label{#1}\end{equation}}
\def\beeq{\begin{equation*}}
\def\eeeq{\end{equation*}}

\newif\ifdotikz\dotikztrue
\newtheorem{prop}{Proposition}

% load our theme for the beamer poster
\mode<presentation>{\usetheme{kbs}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\title[Fixed Point Logics]{\textbf{Fixed Point Logics}}

\author[HZ]{HZ}

\titlegraphic{%
 \includegraphics[height=1.3cm]{a}\hspace{0.1\textwidth}%
 \includegraphics[height=1.3cm]{b} \hspace{0.1\textwidth}%
}

\institute[T]{}%}

\date[2015]{\textbf{S} \\[1ex] 2015\\[2ex]}

%\mathchardef\min="2D
%\newcommand{\mysim}{{\tiny $\sim${}}

\useoutertheme{infolines}
\useoutertheme[subsection=false]{smoothbars}

\input{custom}

\usepackage{graphicx}
\usepackage{ifpdf}
\graphicspath{{figures/}}



\newcommand{\stdfigwidth}{10.5cm}

% \newcommand{\fullpageimage}[1]{
% \setbeamertemplate{background canvas}{\centering\includegraphics[width=
% \paperwidth,height=\paperheight,keepaspectratio]{{#1}}}
% \begin{frame}[plain]{}\end{frame}
% \setbeamertemplate{background canvas}{}
% }

\newcommand{\backupbegin}{
   \newcounter{framenumberappendix}
   \setcounter{framenumberappendix}{\value{framenumber}}
}
\newcommand{\backupend}{
   \addtocounter{framenumberappendix}{-\value{framenumber}}
   \addtocounter{framenumber}{\value{framenumberappendix}} 
 }

\newcommand{\blueAt}[2]{\alt<#1>{{\color{blue}#2}}{#2}}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}

\frame[plain]{\titlepage}
\addtocounter{framenumber}{-1}

% \setcounter{tocdepth}{1} % do only depth 1 in outline, but
% \makeoverview
% \setcounter{tocdepth}{3} % make detailed index in pdf outline (viewer nav)

%%%%%%
%%%%%%



\input{fixpoint_slide}
\input{datalog}


% \section*{References}
% \bibliographystyle{named}
% {\small\makereferences{slides-toronto-bib}}

\end{document}

%%% Local Variables:
%%% TeX-PDF-mode: t
%%% TeX-debug-bad-boxes: t
%%% TeX-master: t
%%% TeX-parse-self: t
%%% TeX-auto-save: t
%%% reftex-plug-into-AUCTeX: t
%%% End:
